Basics of set theory